1. Abstraction, refinement and proof for probabilistic systems
Author: / Annabelle McIver, Carroll Morgan
Library: Central Library and Document Center of Shahid Chamran University (Khuzestan)
Subject: Engineering mathematics.,Probabilities.,Systems engineering.
Classification :
TA
,
340
,.
M43
,
2005
2. Abstraction, refinement and proof for probabilistic systems
Author: / Annabelle McIver, Carroll Morgan
Library: Central Library, Center of Documentation and Supply of Scientific Resources (East Azarbaijan)
Subject:
Classification :
E-BOOK
3. Programming methodology
Author: Annabelle McIver, Carroll Morgan )eds.(
Library: Library of Institute for Research in Fundamental Sciences (Tehran)
Subject: ، Computer programming
Classification :
QA
76
.
6
.
P72
